type   a = int